Software Verification Publications

Publications in Software Verification

Explore the most influential research papers and scholarly works that have shaped Software Verification. Use the concept filter below to focus on a specific sub-area of research.

Software Verification

3.7K

Publications

186.5K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
The temporal logic of programs Amir Pnueli Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	1977	5.6K
The model checker SPIN Gerard J. Holzmann IEEE Transactions on Software Engineering EngineeringModel Checker SpinSpin SystemsSoftware SystemsVerification	1997	3.7K
Systematic design of program analysis frameworks Patrick Cousot, Radhia Cousot Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	1979	1.6K
seL4 Gerwin Klein, Kevin Elphinstone, Gernot Heiser, EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2009	1.5K
The synchronous data flow programming language LUSTRE Nicolas Halbwachs, P. Caspi, Pascal Raymond, Proceedings of the IEEE Efficient Sequential ProgramEngineeringSoftware SystemsVerificationSoftware Engineering	1991	1.5K
Extended static checking for Java Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2002	1.3K
Model checking and abstraction Edmund M. Clarke, Orna Grümberg, David E. Long ACM Transactions on Programming Languages and Systems Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	1994	1.2K
Lazy abstraction Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2002	1.1K
Proving the Correctness of Multiprocess Programs Leslie Lamport IEEE Transactions on Software Engineering Informal ProofsEngineeringStepwise RefinementVerificationComputer-aided Verification	1977	1.1K
Formal verification of a realistic compiler Xavier Leroy Communications of the ACM EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis	2009	1.1K
Bandera James C. Corbett, Matthew B. Dwyer, John Hatcliff, Finite-state Verification TechniquesEngineeringProgram CheckingProgram AnalysisVerification Algorithms	2000	1.1K
Counterexample-guided abstraction refinement for symbolic model checking Edmund M. Clarke, Orna Grümberg, Somesh Jha, Journal of the ACM Program CheckingEngineeringVerificationComputer ArchitectureComputer-aided Verification	2003	974

Page 1